🔍 eBPF Verifier - hello · Scour

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·2d

🔓Lock-Free Programming

ReflectCxx/ReflectionTemplateLibrary-CPP: Powerful C++ runtime reflection with compile-time guarantees – and ZERO performance compromise.

github.com·1d·

Discuss: r/AskProgramming

Building "zero-gap" secrets for a UGC platform

news.ycombinator.com·1d·

Discuss: Hacker News

#️⃣Perfect Hashing

The 10-Minute Codebase Audit: What to Check Before Joining a New Team

dev.to·37m·

Discuss: DEV

🧬Mutation Testing

When Clever Hardware Hacks Bite Back: A Password Keeper Device Autopsy

hackaday.com·8h

💾Retro Computing

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·1d

Automatic WS2812 Characterization

cpldcpu.com·9h

Full Disclosure: Certified Asterisk Security Release certified-20.7-cert9

seclists.org·4h

ziggit.dev·19h

Introduction to SAFE

safe-docs.erlang-solutions.com·3d

The Beacon is lit

blog.zarfhome.com·17h

⚡LMAX Disruptor

Built a tiny fast library for catching obvious prompt injections

reddit.com·1d·

Discuss: r/golang

How to write your first obfuscator of Java Bytecode

blog.quarkslab.com·3d

🎯Escape Analysis

Code only says what it does

brooker.co.za·6h·

Discuss: Hacker News

📚Technical Writing

marzhall/BBL: A couple of tools for OpenEdge ABL

github.com·1d

Dot Chain Special Operators

yamlscript.org·1d

3️⃣Three-Address Code

Chasing a Zig AVR Segfault Down to LLVM

sourcery.zone·13h·

Discuss: r/Zig

Live System Analysis: Mitigating Interference from Antivirus Tools

blog.elcomsoft.com·1d

Revisiting Regular Types

abseil.io·10h

👻Phantom Types

🔥 We Deleted Our Login Code: ALB OIDC for Serverless Frontends

linkedin.com·1h·

Discuss: DEV

Loading more...